Introduction of a more automated environment in En-Route Air Traffic Control : Evaluation of impact generated on the operator by mental workload assessment

International audienceThis article deals with the introduction of partial automation in the En-Route air traffic control working position. More precisely, it presents an experiment whose objective is to evaluate the generated impact on air traffic controllers by the use of a more automated environment, including a conflict aid services system (conflict detector and solver). This impact is evaluated through the assessment of air traffic controllers' mental workload. In this experiment, the evaluation of mental workload is carried out mainly through psychophysiological parameters, especially ocular data. This assessment is compared with subjective evaluation collected by questionnaire and assessment scale, and also with performance indicators analysis focused on communications between controllers and pilots. Results achieved show that automated system proposed in the case of the SESAR project (W.P.4.7.2) seems to be promising because it generates a decrease of mental workload felt in comparison with a non-automated situation

A reason why the ERBB2 gene is amplified and not mutated in breast cancer

Alterations of receptor-type tyrosine kinases (RTK) are frequent in human cancers. They can result from translocation, mutation or amplification. The ERBB2 RTK is encoded by a gene that is amplified in about 20% breast cancers. The question is: why is this RTK specifically subjected to this type of alteration? We propose that ERBB2 gene amplification is used to overcome repression of its expression by sequence-specific transcription factors

Mechanisms of biogenic gas migration revealed by seep carbonate paragenesis, Panoche Hills, California

A comprehensive study of seep carbonates at the top of the organic-rich Maastrichtian to Danian Moreno Formation in the Panoche Hills (California) reveals the mechanisms of generation, expulsion, and migration of biogenic methane that fed the seeps. Two selected outcrops show that seep carbonates developed at the tip of sand dykes intrude up into the Moreno Formation from deeper sandbodies. Precipitation of methane-derived cements occurred in a succession of up to 10 repeated elementary sequences, each starting with a corrosion surface followed by dendritic carbonates, botryoidal aragonite, aragonite fans, and finally laminated micrite. Each element of the sequence reflects three stages. First, a sudden methane pulse extended up into the oxic zone of the sediments, leading to aerobic oxidation of methane and carbonate dissolution. Second, after consumption of the oxygen, anaerobic oxidation of methane coupled with sulfate reduction triggered carbonate precipitation. Third, progressive diminishment of the methane seepage led to the deepening of the reaction front in the sediment and the lowering of precipitation rates. Carbonate isotopes, with δ¹³C as low as −51‰ Peedee belemnite, indicate a biogenic origin for the methane, whereas a one-dimensional basin model suggests that the Moreno Formation was in optimal thermal conditions for bacterial methane generation at the time of seep carbonate precipitation. Methane pulses are interpreted to reflect drainage by successive episodes of sand injection into the gas-generating shale of the Moreno Formation. The seep carbonates of the Panoche Hills can thus be viewed as a record of methane production from a biogenic source rock by multiphase hydraulic fracturing

Increasing Air Traffic Control simulations realism through voice transformation

International audienceImproving realism in simulations is a critical issue. In some air traffic control (ATC) simulations we use a pseudo-pilot which pilots up to fifteen aircraft. Thus, having the same voice for different aircraft in the case of pseudo-pilot decreases the realism of the simulation and may be confusing for the controllers especially in study context. In research context, a virtual aircraft piloted in a flight simulator is sometime needed in addition to the pseudo pilot. For simulation needs, the flight simulator aircraft must be merged with pseudo-pilot's one. This is not possible without voice modification since the controller can distinguish the pilot voice. In this paper we propose a method for transforming the voices of the pilot and the pseudo-pilot in order to have one particular voice and cabin noise for each aircraft. The two experiments that have been conducted show that, through our voice modification algorithm, the realism of the simulation is enhanced and the voice biases disappear

Radix-10 BKM Algorithm for Computing Transcendentals on Pocket Computers

We present a radix-10 variant of the BKM algorithm. It is a shift-and-add, CORDIC-like algorithm that allows fast computation of complex exponentials and logarithms. This radix-10 version is suitable for implementation in a pocket computer.Nous proposons une variante de l'algorithme BKM adaptée au calcul en base de 10. C'est un algorithme à additions et décalages, qui permet d'évaluer rapidement des exponentielles et logarithmes complexes. cette version adaptée à l base de 10 est destinée à l'implantation des calculatrices de poch

Wear analysis of hip explants, dual mobility concept: Comparison of quantitative and qualitative analyses

International audienceTotal hip replacement (THR) fails mainly because of wear. It is of interest to analyze wear to be able to increase the longevity of the hip implants. One way to achieve it is to use instruments on explants but the most suitable depends on the application. This paper aims at comparing several methods of surface analysis in the particular application of wear determination in a series of dual mobility explants. Wear measurement could help understand the wear mechanism only partially known. A CMM, Coordinate Measuring Machine, is used to get 3D points representing the explants, then Pro/Engineer ® and Matlab ® are used to calculate wear. A mechanical (SOMICRONIC®) and an optical profilometer (Bruker nanoscope Wyko® NT 9100, ex. Veeco) are used to access roughness parameters. The comparisons of the two software showed similar results for wear calculation except in a few cases where differences are due to the theoretical volumes calculation. The comparison of the two profiling techniques resulted in similar results particularly for Sa and Sdr. The comparison of the results showed that wear is present for four explants; it is relevant with the observed characteristics. The mechanical profilometer showed better accuracy than the optical one which enable to conclude that it must not be neglected for that particular application, even if measurements need more time

An algorithm for linear constraint solving: its incorporation in a prolog meta-interpreter for CLP

AbstractThe paper presents an incremental and efficient algorithm for testing the satisfiability of systems of linear equalities, inequalities (strict or unrestricted), and disequalities. In addition, it describes the incorporation of that algorithm into a metalevel interpreter capable of processing both tree constraints and the mentioned linear constraints in the domain of rationals. Important characteristics of the described algorithm are (1) detection of fixed variables within the context of Gaussian elimination, including the simplex method. (2) efficient dereferencing by considering subclasses of solved forms, and (3) efficient testing of inconsistencies between equality and disequality subclasses. The metalevel interpreter is written in Prolog. Examples of its usage are provided. Finally, the paper outlines how the approach may be generalized to consider the efficient and incremental testing of constraint satisfiability in various domains

LABY : un support d'aide à l'évaluation de choix de conception d'IHM pour le contrôle aérien

International audienceThe iterative approach in the development of Human Machine Interfaces involves the validation of design choices on both aspects of design and means of interaction. In the case of complex interfaces, conduct evaluations of such choices can be very difficult and expensive. In the field of air traffic control, especially for the design of the controllers' radar display, a simulation tool for high-fidelity usage scenarios LABY has been developed to enable ergonomists and engineers to evaluate HMI solutions in a simplified and controllable environment. In this paper we present the use of LABY in three experiments realized in order to design an innovative interface for air traffic controllers

The popliteal cyst

A popliteal cyst, originally called Baker's cyst, is a synovial fluid-filled mass located in the popliteal fossa. The most common synovial popliteal cyst is considered to be a distension of the bursa located beneath the medial head of the gastrocnemius muscle. Usually, in an adult patient, an underlying intra-articular disorder is present. In children, the cyst can be isolated and the knee joint normal. The anatomy, etiopathogenesis, clinical presentation, differential diagnosis, imaging and treatment modalities of the popliteal cyst are presented. The authors try to answer some questions dealing with this condition. Is the cyst isolated, can it be treated as such, is its origin always well-defined and does surgical excision provide a permanent cure

Towards a Mini-App for Smoothed Particle Hydrodynamics at Exascale

The smoothed particle hydrodynamics (SPH) technique is a purely Lagrangian method, used in numerical simulations of fluids in astrophysics and computational fluid dynamics, among many other fields. SPH simulations with detailed physics represent computationally-demanding calculations. The parallelization of SPH codes is not trivial due to the absence of a structured grid. Additionally, the performance of the SPH codes can be, in general, adversely impacted by several factors, such as multiple time-stepping, long-range interactions, and/or boundary conditions. This work presents insights into the current performance and functionalities of three SPH codes: SPHYNX, ChaNGa, and SPH-flow. These codes are the starting point of an interdisciplinary co-design project, SPH-EXA, for the development of an Exascale-ready SPH mini-app. To gain such insights, a rotating square patch test was implemented as a common test simulation for the three SPH codes and analyzed on two modern HPC systems. Furthermore, to stress the differences with the codes stemming from the astrophysics community (SPHYNX and ChaNGa), an additional test case, the Evrard collapse, has also been carried out. This work extrapolates the common basic SPH features in the three codes for the purpose of consolidating them into a pure-SPH, Exascale-ready, optimized, mini-app. Moreover, the outcome of this serves as direct feedback to the parent codes, to improve their performance and overall scalability.Comment: 18 pages, 4 figures, 5 tables, 2018 IEEE International Conference on Cluster Computing proceedings for WRAp1